Order:
  1. Bimodal Logics for Reasoning About Continuous Dynamics.Jen M. Davoren & Rajeev P. Goré - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 91-111.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  2. Russell, Gödel and Skolem: how much of arithmetic is predicative.Jen M. Davoren & Allen P. Hazen - 1991 - Journal of Symbolic Logic 56:1108-1109.